results for Automated Mathematician